propositional calculus перевод

• лог. пропозициональное исчисление, исчисление высказываний

• propositional:    пропозициональный alphabet of propositional calculus ≈ алфавитисчисления высказываний, алфавит нулевого порядка classicalpropositional calculus ≈ классическое исчисление высказываний,классическое пр
• calculus:    1) _мат. исчисление Ex: the (differential) calculus дифференциальное исчисление Ex: calculus of probabilities исчисление вероятностей Ex: calculus of variation вариационное исчисление2) калькуляция3
• constructive propositional calculus:    конструктивное исчисление высказываний, конструктивное пропозициональное исчисление
• extended propositional calculus:    матем. расширенное исчисление высказываний, расширенное пропозициональное исчисление
• many-valued propositional calculus:    многозначное пропозициональное исчисление
• minimal propositional calculus:    минимальное исчисление высказываний, минимальное пропозициональное исчисление
• modal propositional calculus:    модальное исчисление высказываний, модальное пропозициональное исчисление
• multivalued propositional calculus:    многозначное исчисление высказываний, многозначное пропозициональное исчисление
• partial propositional calculus:    частное исчисление высказываний, частное пропозициональное исчисление
• positive propositional calculus:    позитивное исчисление высказываний, позитивное пропозициональное исчисление
• proper propositional calculus:    собственное исчисление высказываний, собственное пропозициональное исчисление
• two-valued propositional calculus:    двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление
• propositional algebra:    алгебра высказываний; пропозициональная алгебра
• propositional argument:    мат. пропозициональный аргумент
• propositional axiom:    мат. пропозициональная аксиома

• In his best known work, he showed that the classical propositional calculus could be derived from one axiom and one rule, both expressed using the Sheffer stroke.
  В своей самой известной работе, он показал, что классическое исчисление высказываний может быть получено из одной аксиомы и правила, которые выражаются с помощью штриха Шеффера.